modeling and evaluation of stochastic discrete-event systems with raylang formalism
نویسندگان
چکیده
in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by engineers and the formalisms used for evaluation and verification purposes.we propose the syntax and semantics of a new object-oriented modeling languagefor discrete-event systems called raylang. we have designed the syntax of raylangsimilar to oopls. in raylang models, objects that are instantiated from classes,run concurrently and can communicate with each other by requesting services.every object in raylang models has some internal state variables and some servicehandlers for executing the requests of other objects. we have shown that markovianraylang models can be transformed into continuous-time markov chains (ctmcs)and then can be solved by existing solution techniques. for modeling, discrete-eventsimulation and analytic solution of raylang models, we have implemented thesemodels in the pdetool framework.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملmodeling and evaluation of stochastic discrete-event systems with raylang formalism
in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling Stochastic Discrete Event Systems
The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been de ned in the setting of probabilisti...
متن کاملStdevs. a Novel Formalism for Modeling and Simulation of Stochastic Discrete Event Systems
This article presents an extension of the DEVS formalism to represent stochastic discrete event systems. Making use of probability space theory, the resulting STDEVS formalism provides a formal framework for modeling an simulation of non–deterministic DEVS models.
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
journal of advances in computer researchناشر: sari branch, islamic azad university
ISSN 2345-606X
دوره 3
شماره 4 2012
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023